$\forall$$T$:Type, $l_{1}$, $l_{2}$:$T$ List. no\_repeats($T$;$l_{1}$ @ $l_{2}$) $\Rightarrow$ l\_disjoint($T$;$l_{1}$;$l_{2}$)